theorem of implicit functions

隱函數定理